6
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Año:
2020
Idioma:
english
Archivo:
PDF, 7.74 MB
0 / 0
english, 2020